# -*- mode: snippet -*-
# name: pragma
# key: {
# contributor: Andrea crotti
# --
{-# ${1:PRAGMA} #-}